Update @detailmenu.
authorGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 05:22:51 +0000 (05:22 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 05:22:51 +0000 (05:22 +0000)
commitd9e14f1b1dd9044ea45add5743fbd62b271f1a54
tree4da1ec9e59aaa909d89d74164538de3a38b78241
parent2b61fbc31822733c42b8156c7bc84c3a2f3d2bcf
Update @detailmenu.
doc/lispref/ChangeLog
doc/lispref/vol2.texi